🔬 programming language theory - abnv · Scour

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

🌱Tiny Languages

Functional Logic Program Transformations

arxiv.org·14h

🏭Functional Compilers

Designing Boring Software with Functional Programming

agentultra.com·16h

🪞Homoiconicity

Making an LSP for great good

thunderseethe.dev·19h·

Discuss: Lobsters, Hacker News

Get To Grips With Transformers And LLMs

i-programmer.info·1d·

Discuss: Hacker News, r/programming

🔍ML Language

How to Write Your Own Programming Language in C#

codemag.com·2d

🔗Concatenative Languages

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

🛡️Taint Analysis

Alexis King’s Blog

lexi-lambda.github.io·1d

🗂️Type Indexing

Subterms Modulo Theories I

philipzucker.com·2d

🔗Lexical Scoping

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🔄Bootstrapping

Evolution of LLMs use by a programmer

asfaload.com·2h·

Discuss: Hacker News

🎮Language Ergonomics

From logical reasoning to code in C and PHP

dev.to·8h·

Discuss: DEV

From LLMs to Agents in Programming: The Impact of Providing an LLM with a Compiler

arxiv.org·14h

🛠programming language development

Scheme implementation as O’Reilly book via Claude Code

ezzeriesa.notion.site·1d·

Discuss: Hacker News

🔧Scheme Macros

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·5h

🔧Scheme Macros

Use of Assertions

blog.regehr.org·4h

🔍Static Analysis

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

λLambda Calculus

Calculus Made Easy

calculusmadeeasy.org·4h

abelianization of an additive category in nLab

ncatlab.org·2h

🔗Category Theory

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

🎭Program Synthesis

Loading more...